BIOJMC.LOG[1,JMC] - www.SailDart.org

perm filename BIOJMC.LOG[1,JMC] blob sn#878227 filedate 1989-10-16 generic text, type T, neo UTF8

This is TeX, WAITS Version 2.999 (preloaded format=plain 89.6.21)  16 OCT 1989 13:18
**BIOJMC.TEX
(BIOJMC.TEX[1,JMC] [1] [2]
Overfull \hbox (10.57909pt too wide) in paragraph at lines 60--62, p.4
\tenbf McCarthy, John (1962)\tenrm : ``Com-puter Pro-grams for Check-ing Math-e-
mat-i-cal Proofs'',

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tenbf M
.\tenbf c
.\tenbf C
.\tenbf a
.\tenbf r
.etc.

[3] [4] [5] [6]
Output written on BIOJMC.DVI[1,JMC] (6 pages, 19480 bytes).